-- ==
-- error: Refutable

def (-) a 1 = 2
